Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 12.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 007999 | Olivier Bournez [France] ; Mathieu Hoyrup [France] | Rewriting Logic and Probabilities |
| 009206 | Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; Christos H. Papadimitriou [États-Unis] ; John N. Tsitsiklis [États-Unis] | Deciding stability and mortality of piecewise affine dynamical systems |
| 009264 | Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; John N. Tsitsiklis | The Stability of Saturated Linear Dynamical Systems Is Undecidable |
| 009E15 | Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; John N. Tsitsiklis [États-Unis] | The Stability of Saturated Linear Dynamical Systems Is Undecidable |
| 009E56 | Olivier Bournez [France] ; Oded Maler [France] | On the Representation of Timed Polyhedra |
| 009F33 | Eugene Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] | Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems |
| 009F95 | Eugene Asarin [France] ; Olivier Bournez [France] ; THAO DANG [France] ; Oded Maler [France] ; Amir Pnueli [Israël] | Effective synthesis of switching controllers for linear systems |
| 00A173 | Olivier Bournez [France] ; Oded Maler [France] | On the representation of timed polyhedra |
| 00A232 | Eugène Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] ; Amir Pnueli [France] | Effective Synthesis of Switching Controllers for Linear Systems |
| 00A271 | Eugène Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] | Approximate reachability analysis of piecewise-linear dynamical systems |
| 00AC63 | Olivier Bournez [France] ; Oded Maler [France] ; Amir Pnueli [France] | Orthogonal Polyhedra: Representation and Computation |
| 00AE93 | Patrick Gros [France] ; Olivier Bournez [France] ; Edmond Boyer [France] | Using geometric quasi-invariants to match and model images of line segments |
| This area was generated with Dilib version V0.6.33. |  |